Putting political constitutionalism in its place

Putting Hierarchy in Its Place

Putting Opacity in its Place

We clarify the relationships between Guerraoui and Kapalka’s opacity correctness condition for Transactional Memory (TM) algorithms and the TMS1 and TMS2 conditions we have previously proposed. Using formal, machine checked simulation proofs constructed using the PVS theorem proving system, we have shown that all algorithms that satisfy opacity also satisfy TMS1, and that all algorithms that sa...

Political constitutionalism

For ‘legal constitutionalists’, written constitutions, constitutive of the legal and political system, superior to other legislation, entrenched against change, and enumerating justiciable rights, guarantee equal respect and concern for all citizens. Judicial review is thus an essential support of democracy. In this book, Richard Bellamy offers a robust argument against this view of constitutio...

Putting Liberalism in Its Place

University Press. All rights reserved. No part of this book may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher, except for reading and browsing via the World Wide Web. Users are not permitted to mount this file on any network servers.

Putting Plasticity in Its Place

activity corresponding to a series of shuttle runs across a square arena, heteroassociative connections between activated place cells become potentiated, cells with overlapping place fields develop strong bidirectional connections and asymmetric connections between cells against the direction of motion become depressed. The elevated connectivity of the activated ensemble resembles the broad dev...